A Simple State-Space Reduction Method
نویسنده
چکیده
We are often interested in finding out if a given predicate on states of a system can be satisfied in any or all of the systems reachable states. To determine this, one approach is to calculate the complete set of reachable states and evaluate the predicate on each of these states. To know which states we have already examined and which we have yet to examine—and thus knowing when we have examined all states—we store the examined states in a table.
منابع مشابه
Severe Impact on the Behavior of Energy Absorbing Cylindrical Base in Frontal Impact
In this paper, the vibration characteristics of multi-layer shell that internal and external surfaces with a layer of piezoelectric sensor and actuator is investigated. The backrest shell laminated with simple analytical method to evaluate and the results were compared with results obtained by other researchers. The numerical solution methods (GDQ) for shells with piezoelectric layers and plain...
متن کاملSimple noise-reduction method based on nonlinear forecasting.
Nonparametric detrending or noise reduction methods are often employed to separate trends from noisy time series when no satisfactory models exist to fit the data. However, conventional noise reduction methods depend on subjective choices of smoothing parameters. Here we present a simple multivariate noise reduction method based on available nonlinear forecasting techniques. These are in turn b...
متن کاملUsing partial orders for trace theoretic verification of asynchronous circuits
In this paper, we propose a method to generate the reduced state spaces in which the trace theoretic verification method of asynchronous circuits works correctly and efficiently. The state space reduction is based on the stubborn set method and similar ideas, but they have been extended so that the conformance checking works correctly in the reduced state space. Our state reduction algorithm al...
متن کاملEfficient Delay Characterization Method to Obtain the Output Waveform of Logic Gates Considering Glitches
Accurate delay calculation of circuit gates is very important in timing analysis of digital circuits. Waveform shapes on the input ports of logic gates should be considered, in the characterization phase of delay calculation, to obtain accurate gate delay values. Glitches and their temporal effect on circuit gate delays should be taken into account for this purpose. However, the explosive numbe...
متن کاملAnalysis of Power Electronic Converters Using the Developed State Space Averaging Method
Power electronic converters are non-linear time-dependent systems whose exact analysis without the use of computers is very difficult, and even using computer softwares requires a long time. Use of the state space averaging method, as will be mentioned, in addition to simplifying the analysis procedure which is a result of converting a time-dependent system to a time-independent one, reduces th...
متن کاملSearch Space Reduction for Farsi Printed Subwords Recognition by Position of the Points and Signs
In the field of the words recognition, three approaches of words isolation, the overall shape and combination of them are used. Most optical recognition methods recognize the word based on break the word into its letters and then recogniz them. This approach is faced some problems because of the letters isolation dificulties and its recognition accurcy in texts with a low image quality. Therefo...
متن کامل